21. Applications software programming with fourth - generation languages
پدیدآورنده : W. Gregory Wojtkowski, Wita Wojtkowski
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Programming language (Electronic computers),Electronic digital computers - Programming,NOMAD (computer program)
رده :
QA
,
76
.
7
,.
W64
,
1990
22. Arithmetic optimization techniques for hardware and software design
پدیدآورنده : Kastner, Ryan.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Computer arithmetic,Design and construction ، Electronic digital computers,Development ، Computer software,، Mathematical optimization
رده :
QA
76
.
9
.
C62
K37
2010
23. Arithmetic optimization techniques for hardware and software design
پدیدآورنده : Kastner, Ryan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer arithmetic,Design and construction ، Electronic digital computers,، Computer software -- Development,، Mathematical optimization
رده :
QA
76
.
9
.
C62K37
24. Biomedical Informatics :
پدیدآورنده : edited by Edward H. Shortliffe, James J. Cimino.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Medical records-- Data processing.,Medicine.,Medical records-- Data processing.,Medicine.
رده :
R858-859
.
7
25. Biomedical informatics :
پدیدآورنده : Edward H. Shortliffe, James J. Cimino, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bioinformatics.,Biomedical engineering.,Medical informatics.,Bioinformatics.,Biomedical engineering.,Médecine.,Medical informatics.
رده :
R858
.
M397
2014
26. Biomedical informatics :
پدیدآورنده : Edward H. Shortliffe, James J. Cimino, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bioinformatics.,Biomedical engineering.,Medical informatics.,Medical Informatics.,Bioinformatics.,Biomedical engineering.,Informática médica.,Medical informatics.
رده :
R858
.
M397
2014
27. COMPUTER SOFTWARE PROGRAMMING SYSTEMS FOR DIGITAL COMPUTERS
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
،
76
.
5
،.
F455
28. Capacity planning and performance modeling :
پدیدآورنده : Daniel A. Menascé, Virgilio A.F. Almeida, Larry W. Dowdy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer capacity-- Planning.,Electronic digital computers-- Evaluation.
29. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
30. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
31. CompTIA A+ :
پدیدآورنده : Charles J. Brooks, David L. Prowse.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer technicians-- Certification, Study guides.,Electronic data processing personnel-- Certification.,Microcomputers-- Maintenance and repair-- Examinations, Study guides.,Computer technicians-- Certification-- Study guides.,Computer technicians-- Certification.,Electronic data processing personnel-- Certification.,Electronic data processing personnel-- Certification.,Microcomputers-- Maintenance and repair-- Examinations-- Study guides.,Microcomputers-- Maintenance and repair-- Examinations.
رده :
QA76
.
3
.
B7762
2008
32. Computational Techniques in Quantum Chemistry and Molecular Physics :
پدیدآورنده : edited by G.H.F. Diercksen, B.T. Sutcliffe, A. Veillard.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.
رده :
QC175
.
16
.
M6
E358
1975
33. Computer Assisted Radiology
پدیدآورنده : Computergestützte Radiologie : Proceedings of the International Symposium / Vorträge des Internationalen Symposiums.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biomedical engineering.,Computer-aided design.,Engineering.
34. Computer science, a mathematical introduction: : applied mathematics--modeling, analysis, and optimization techniques with applications to software systems
پدیدآورنده : Lew, Art
موضوع : ، Computer science- Mathematics,، Electronic digital computers- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
35. Computer Security -- ESORICS 92 :
پدیدآورنده : edited by Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Operating systems (Computers)
36. Computer-aided verification
پدیدآورنده : edited by Robert Kurshan
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software - Verification , Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93
C65
1993
37. Computer-aided verification
پدیدآورنده :
موضوع : Computer software-Verification,Electronic digital computers - Evaluation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
38. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
پدیدآورنده : G.V. Bochmann, D.K. Probst )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
663
39. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
رده :
QA
76
.
76
.
E93
.
C38
1993
40. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
